H ? « ‹ ← → › »

Language peer sets for Action Languages:
United States↑
United States/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Action Languages(ID:6852/act028)

alternate simple view
Country: United States
Designed 1990

A set of six languages - three action languages A, B, and C and three action query languages P, Q, and R
Related languages
Prolog → Action Languages   Extension of
References:
  • Gelfond, Michael, and Lifschitz, Vladimir. (1990) Gelfond, Michael, and Lifschitz, Vladimir. 1990. Logic programs with classical negation. In Warren, D., and Szeredi, P., eds., Logic Programming: Proceedings of the Seventh International Conf., pp579?597
  • Gelfond, M. (1993) Gelfond, M. and Lifschitz, V. 1993. Representing Actions and Change by Logic Programs, In J. of Logic Programming 17, 301?323, 1993.
  • Lifschitz, V. (1996) Lifschitz, V. "Two components of an action language" in Common Sense 96, 1996 Abstract Online copy
  • Hidetomo Nabeshima, Katsumi Inoue (1997) Hidetomo Nabeshima, Katsumi Inoue "Automata Theory for Action Language A" IPSJ JOURNAL 38(03) Abstract
  • Enrico Giunchiglia, Vladimir Lifschitz (1998) Enrico Giunchiglia, Vladimir Lifschitz "An action language based on causal explanation: preliminary report" Proceedings of the fifteenth national/tenth conference on Artificial intelligence Innovative applications of artificial intelligence pp623-630 1998
  • Gelfond, M. and Lifschitz, V. (1998) Gelfond, M. and Lifschitz, V. "Action languages" Electronic Transactions on Artificial Intelligence 3(6) Abstract
  • Balduccini, M.; Gelfond, M.; Nogueira, M. (2000) Balduccini, M.; Gelfond, M.; Nogueira, M. "A-Prolog as a tool for declarative programming"
          in (2000) Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000)
  • Balduccini, M. (2001) Balduccini, M. ; M.Gelfond, M.Nogueira, R.Watson,M.Barry: An A-Prolog decision support system. for the space shuttle , AAAI Spring 2001 Symposium, Mar 2001
          in (2000) Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000)
  • Gelfond, M. (2001) Gelfond, M. ; M. Balduccini, J. Galloway: Diagnosing physical systems in A-Prolog , Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 213-225, Sep 2001
          in (2000) Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000)
  • Gelfond, M. (2002) Gelfond, M. Representing Knowledge in A-Prolog (pdf version) , volume 2408 of Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pages 413-451, 2002
          in (2000) Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000)
  • Balduccini, M. (2003) Balduccini, M. and M. Gelfond: Diagnostic Reasoning with A-Prolog (pdf version) , Theory and Practice of Logic Programming, 3(4-5):425-461, Jul 2003
          in (2000) Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder